翻訳と辞書 Words near each other ・ Frank Perris ・ Frank Perry ・ Frank Perry (politician) ・ Frank Peter Zimmermann ・ Frank Peterman ・ Frank Peters ・ Frank Peters (college president) ・ Frank Peters (footballer) ・ Frank Peters (ice hockey) ・ Frank Peters Jr. ・ Frank Petersen ・ Frank Peterson ・ Frank Petley ・ Frank Pettingell ・ Frank Peña ・ Frank Pfenning ・ Frank Pfütze ・ Frank Philbrick ・ Frank Philbrook ・ Frank Philip Bowden ・ Frank Phillips ・ Frank Phillips (cricketer) ・ Frank Phillips (golfer) ・ Frank Phillips (oil industrialist) ・ Frank Phillips College ・ Frank Pia ・ Frank Piasecki ・ Frank Piccolo ・ Frank Pick ・ Frank Pickersgill Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Frank Pfenning ： ウィキペディア英語版 Frank Pfenning Frank Pfenning is a professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University.〔(【引用サイトリンク】title=Frank Pfenning Named Head of Carnegie Mellon's Computer Science Department )〕 He received his Ph.D. from the Carnegie Mellon University Department of Mathematics in 1987, for his dissertation entitled ''Proof Transformations in Higher-Order Logic''. He was a student of Peter B. Andrews. His research includes work in the area of programming languages, logic and type theory, logical frameworks, automated deduction, and trustworthy computing. He is one of the principal authors of the Twelf system. He also developed Carnegie Mellon's introductory imperative programming course for undergraduates and the C0 programming language used in this course. He is a competitive squash player, ranked in the top three of the university's squash ladder.〔(【引用サイトリンク】title=CMU Squash Ladder )〕 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Frank Pfenning」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.